English

Noun

wikipedia
universal quantifier (plural universal quantifiers)

1. logic The operator, represented by the symbol �, used in predicate calculus to indicate that a predicate is true for all members of a specified set.

#: Some verbal equivalents are "for each" or "for every".

See also
existential quantifier
universal quantification

Translations
French: quantificateur universel

fr:universal quantifier

• 2007-09-12 21:12 - Connel MacKenzieBot - Robot: Automated text replacement (-{{rfc-xphrase|Noun phrase}} +)

Full Revision History